SMAVE - System Modeling, Analysis and Verification Environment是先進的嵌入式系統開發平臺，采用高安全模型化建模、分析與驗證技術，實現可靠系統的高效開發
了解更多
ACEPhere軟件平臺融合了實時控制與工業互聯網邊緣計算的應用需求，采用先進的動態耦合軟件架構，為各類控制與工業應用場景，提供軟件設計開發與運行時環境支撐
了解更多
ACEPhere硬件平臺，采用模塊化設計方式，推出了針對復雜惡劣工作環境的GearSys平臺與面向物聯網與樓宇控制應用場景的LiteSys平臺，結合ACEPhere軟件平臺，賦能軟件定義控制場景
了解更多
合作伙伴遍布 航空航天、軌道交通、汽車電子、工業控制、科學研究 等多個國民經濟關鍵領域
| 微山县 | 贵阳市 | 西乌 | 灵武市 | 明水县 | 昭觉县 |
| 昌图县 | 瑞金市 | 南安市 | 包头市 | 色达县 | 福清市 |
| 嵊州市 | 卓资县 | 黔南 | 柘城县 | 灵川县 | 志丹县 |
| 高陵县 | 绍兴市 | 衡阳市 | 余江县 | 楚雄市 | 深圳市 |
| 新闻 | 城口县 | 凌云县 | 黑龙江省 | 甘孜 | 军事 |
| 宁明县 | 平安县 | 南丹县 | 明光市 | 康保县 | 灵石县 |
| 永靖县 | 黄石市 | 平定县 | 龙川县 | 巧家县 | 锦州市 |
| 建德市 | 福建省 | 长武县 | 嘉善县 | 盐山县 | 墨江 |
| 旬邑县 | 龙陵县 | 汝阳县 | 永登县 | 龙门县 | 布拖县 |
| 湟源县 | 青浦区 | 乐清市 | 吉林省 | 沙雅县 | 浏阳市 |
| 秦皇岛市 | 建湖县 | 黄浦区 | 平和县 | 伊春市 | 洛宁县 |
| 苍山县 | 迭部县 | 皮山县 | 甘谷县 | 平江县 | 霍山县 |